21. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده : edited by G. Rozenberg, A. Salomua
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، formal languages
رده :
QA
267
.
C87
22. Current trends in theoretical computer science : the challenge of the new century
پدیدآورنده : editors, G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science
رده :
QA
76
.
C832
23. Current trends in theoretical computer science :the challenge of the new century century
پدیدآورنده : editors, G. P aun, G. Rozenberg, A. Salomaa
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Computer science
رده :
QA
76
.
C878
2004
24. Foundations of object-oriented languages :
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
رده :
QA76
.
64
J834
1991
25. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
26. Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings
پدیدآورنده : H. Ehrig, H.-J. Kreowski, G. Rozenberg )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Graph grammars
رده :
QA
76
.
L28
Vol
.
532
27. Handbook of formal languages
پدیدآورنده : G. Rozenberg, A. Salomaa, )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
H36
1997
28. Handbook of formal languages
پدیدآورنده : G. Rozenberg, A. Salomaa, ]eds.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages
رده :
QA
276
.
3
.
H36
1997
29. Handbook of formal languages
پدیدآورنده : G. Rozenberg, A. Salomaa, )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Formal languages
رده :
QA
267
.
3
.
H36
1997
30. High-level Petri nets : theory and application
پدیدآورنده : K. Jensen, G. Rozenberg )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Petri nets
رده :
QA
267
.
H48
1991
31. Introduction to evolutionary computing/
پدیدآورنده : Series Editors: G. Rozenberg, Th. Bäck, A.E. Eiben, J.N. Kok, H.P. Spaink.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Smith, J. E.,Evolutionary computation.,Evolutionary programming (Computer science)
32. Light and heat radiation in stratus clouds
پدیدآورنده : by E.M. Feigelson, G.V. Rozenberg; Z. Lerman
کتابخانه: Library of Institute of Geophysics University of Tehran (Tehran)
موضوع : Cloud physics,Radiation
رده :
QC
921
.
5
.
F413
33. Linear time, branching time, and partial order in logics and models for concurrency :
پدیدآورنده : J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989
34. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
35. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
پدیدآورنده : edited by W. Brauer, W. Reisig, and G. Rozenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
36. Real-Time:
پدیدآورنده : edited by J.W. Bakker, C. Huizing, W.P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
37. Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings
پدیدآورنده : J. Karhumaki, H. Maurer, G. Rozenberg )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
812
38. Semantics:
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
39. Semantics:foundations and applications
پدیدآورنده : J.W.De Baker W.P.de Roever G.Rozenberg
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Programming languages-semantics
رده :
QA
76
.
9
.
S4
1993
40. Semantics:foundations and applications
پدیدآورنده : J.W.De Baker W.P.de Roever G.Rozenberg
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Programming languages-semantics
رده :
QA
76
.
9
.
S4
1993
